منابع مشابه
Distribution Systems Reconfiguration Using Pattern Recognizer Neural Networks
A novel intelligent neural optimizer with two objective functions is designed for electrical distribution systems. The presented method is faster than alternative optimization methods and is comparable with the most powerful and precise ones. This optimizer is much smaller than similar neural systems. In this work, two intelligent estimators are designed, a load flow program is coded, and a spe...
متن کاملPattern Graph Rewrite Systems
String diagrams are a powerful tool for reasoning about physical processes, logic circuits, tensor networks, and many other compositional structures. Dixon, Duncan and Kissinger introduced string graphs, which are a combinatoric representations of string diagrams, amenable to automated reasoning about diagrammatic theories via graph rewrite systems. In this extended abstract, we show how the po...
متن کاملTree Pattern Rewriting Systems
Classical verification often uses abstraction when dealing with data. On the other hand, dynamic XML-based applications have become pervasive, for instance with the ever growing importance of web services. We define here Tree Pattern Rewriting Systems (TPRS) as an abstract model of dynamic XML-based documents. TPRS systems generate infinite transition systems, where states are unranked and unor...
متن کاملPattern Systems for Hypermedia
The hypermedia domain is currently receiving much attention, mostly due to the new generation of open systems, i.e., those that allow the connection among applications in the same or different machines (intranets) or those that publish the interface of an application in a WWW’s browser. However, current applications in this domain are not taking profit of all benefits that characterize hypermed...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoretical Computer Science
سال: 1996
ISSN: 0304-3975
DOI: 10.1016/0304-3975(94)00258-4